NaviAgent: Bilevel Planning on Tool Dependency Graphs for Function Calling
arxiv.orgยท10h
๐Ÿ”—Topological Sorting
How to (Almost) solve cybersecurity once and for all
adaptive.liveยท18hยท
Discuss: Hacker News
๐Ÿ”Systems Hardening
Proving that every program halts
ntietz.comยท2d
๐Ÿ‘‘Isabelle
๐Ÿง  Solving LeetCode Until I Become Top 1% โ€” Day `30`
dev.toยท6hยท
Discuss: DEV
๐Ÿ“Error Bounds
Kumo Surfaces Structured Data Patterns Generative AI Misses
thenewstack.ioยท34m
๐Ÿ“ŠGraph Databases
Brent Yorgey: Competitive programming in Haskell: range queries, classified
byorgey.github.ioยท2d
ฮปLambda Encodings
LFCS Seminar Friday 27th June: John Longley
informatics.ed.ac.ukยท2d
๐Ÿ’ปProgramming languages
Solving LinkedIn Queens Using Haskell
imiron.ioยท1dยท
Discuss: Lobsters, Hacker News, r/programming
ฮปLambda Formalization
Cactus Language โ€ข Syntax 11
inquiryintoinquiry.comยท1d
๐Ÿ“Concrete Syntax
davidchisnall/igk: I got Knuth'd: A compiler for documents
github.comยท8h
๐Ÿ“Concrete Syntax
June 25, 2025 Flight Tracking Workshop (4 hour) [Americas / Europe-friendly time]
bellingcat.comยท14h
๐ŸงฎProlog Parsing
Show HN: ToolQL โ€“ Create AI Tools with GraphQL
toolql.comยท1dยท
Discuss: Hacker News
๐Ÿ“ŠGraph Databases
ML in the Home
blog.raymond.burkholder.netยท1d
๐Ÿ“ˆTime Series
A Lisp adventure on the calm waters of the dead C (2021)
mihaiolteanu.meยท1dยท
Discuss: Lobsters, Hacker News, r/programming
๐Ÿ”—Lisp
Counting with Categories (Part 3)
golem.ph.utexas.eduยท22h
ฮปLambda Formalization
Programming, Not Prompting: A Hands-On Guide to DSPy
towardsdatascience.comยท1d
๐ŸงฎZ3 Solver
Practical tips to optimize documentation for LLMs, AI agents, and chatbots
biel.aiยท19hยท
Discuss: Hacker News
๐Ÿค–Archive Automation
Diving deep into Binius M3 arithmetization using Merkle tree inclusion as an example
blog.lambdaclass.comยท1d
๐ŸŒณArchive Merkle Trees
DSA Fundamentals #1: A Practical Guide to Propositional Logic
beyondit.blogยท5d
๐ŸงฎTheorem Proving
Compbolt: A lib with a hard to misuse API (based on Matt Godbolt)
github.comยท5hยท
Discuss: Hacker News
๐ŸŒ€Brotli Internals